Roberto Gorrieri：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (28)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Introduction to Concurrency Theory: Transition Systems and CCS

Springer International Publishing

Roberto Gorrieri, Cristian Versari (auth.)

年:

2015

语言:

english

文件:

PDF, 3.47 MB

0 / 0

english, 2015

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)

年:

2005

语言:

english

文件:

PDF, 2.56 MB

0 / 0

english, 2005

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

年:

2009

语言:

english

文件:

PDF, 3.31 MB

0 / 0

english, 2009

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

年:

2011

语言:

english

文件:

PDF, 3.64 MB

0 / 0

english, 2011

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari (auth.), Roberto Gorrieri, Heike Wehrheim (eds.)

年:

2006

语言:

english

文件:

PDF, 3.98 MB

0 / 0

english, 2006

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

年:

2007

语言:

english

文件:

PDF, 4.33 MB

0 / 0

english, 2007

Computational Methods in Systems Biology

Springer

Pierpaolo Degano, Roberto Gorrieri

年:

2009

语言:

english

文件:

PDF, 6.64 MB

0 / 0

english, 2009

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.)

年:

2004

语言:

english

文件:

PDF, 4.29 MB

0 / 0

english, 2004

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.)

年:

2004

语言:

english

文件:

PDF, 10.48 MB

0 / 0

english, 2004

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)

年:

2009

语言:

english

文件:

PDF, 7.42 MB

0 / 0

english, 2009

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

年:

2011

语言:

english

文件:

PDF, 3.57 MB

0 / 0

english, 2011

Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France

Springer US

Mario Bravetti, Nadia Busi, Roberto Gorrieri (auth.), Theo Dimitrakos, Fabio Martinelli (eds.)

年:

2005

语言:

english

文件:

PDF, 4.03 MB

0 / 0

english, 2005

Электротехнический справочник. Том 2

Энергия

Riccardo Focardi, Roberto Gorrieri

年:

1964

语言:

russian

文件:

DJVU, 37.32 MB

0 / 0

russian, 1964

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Springer International Publishing

Roberto Gorrieri (auth.)

年:

2017

语言:

english

文件:

PDF, 3.05 MB

0 / 0

english, 2017

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Springer

Roberto Gorrieri

年:

2017

语言:

english

文件:

PDF, 2.69 MB

0 / 0

english, 2017

Foundations of Security Analysis and Design: Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Peter Y. A. Ryan (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

年:

2001

语言:

english

文件:

PDF, 2.74 MB

0 / 0

english, 2001

Coordination of Internet Agents: Models, Technologies, and Applications

Springer-Verlag Berlin Heidelberg

Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf (eds.)

年:

2001

语言:

english

文件:

PDF, 31.37 MB

0 / 0

english, 2001

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Springer

Roberto Gorrieri

年:

2017

语言:

english

文件:

PDF, 2.00 MB

0 / 0

english, 2017

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

年:

2004

语言:

english

文件:

PDF, 1.97 MB

0 / 0

english, 2004

Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)

年:

1997

语言:

english

文件:

DJVU, 10.31 MB

0 / 0

english, 1997

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

年:

2007

语言:

english

文件:

PDF, 6.64 MB

0 / 0

english, 2007

Foundations of Security Analysis and Design II

Springer

Riccardo Focardi, Roberto Gorrieri

年:

2004

语言:

german

文件:

PDF, 2.42 MB

0 / 0

german, 2004

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Springer US

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Scott F. Smith, Carolyn L. Talcott (eds.)

年:

2000

语言:

english

文件:

PDF, 14.70 MB

0 / 0

english, 2000

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)

年:

2009

语言:

english

文件:

PDF, 7.47 MB

0 / 0

english, 2009

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)

年:

2005

语言:

english

文件:

PDF, 2.24 MB

0 / 0

english, 2005

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

年:

2004

语言:

english

文件:

PDF, 2.37 MB

0 / 0

english, 2004

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

年:

2009

语言:

english

文件:

PDF, 5.45 MB

0 / 0

english, 2009

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

年:

2009

语言:

english

文件:

PDF, 3.41 MB

0 / 0

english, 2009